b0d07b3aec81c0a6b8a12d287dff36a155a424de,findbugs/src/java/edu/umd/cs/findbugs/ba/npe/NullDerefAndRedundantComparisonFinder.java,NullDerefAndRedundantComparisonFinder,checkForUnconditionallyDereferencedNullValues,#Map#ValueNumberFrame#IsNullValueFrame#UnconditionalValueDerefSet#,315

Before Change


				// Is this value unconditionally dereferenced?
				ValueNumber valueNumber = vnaFrame.getValue(j);
				
				if (derefSet.isUnconditionallyDereferenced(valueNumber)) {
					if (DEBUG_DEREFS) {
						System.out.println("vna *** " + vnaFrame);
						System.out.println("inv *** " + invFrame);
						System.out.println("deref * " + derefSet);
				
						System.out.println("%%% HIT for value number " + valueNumber);
					}
					
					// OK, we have a null value that is unconditionally

After Change


				// Is this value unconditionally dereferenced?
				ValueNumber valueNumber = vnaFrame.getValue(j);
				
				if (derefSet.isUnconditionallyDereferenced(valueNumber)) {
					noteUnconditionallyDereferencedNullValue(
							nullValueGuaranteedDerefMap,
							derefSet,